Computational logic - PDFSEARCH.IO - Document Search Engine

Computational logic
Results: 652

#	Item
171	CCCG 2013, Waterloo, Ontario, August 8–10, 2013 Maximum-Weight Planar Boxes in O(n2 ) Time (and Better) J´er´emy Barbay∗ Timothy M. Chan† Add to Reading List Source URL: www.cccg.ca Language: English - Date: 2013-08-11 21:51:56 NP-complete problems Algorithm Mathematical logic Computational geometry Numerical software PROPT Mathematics Applied mathematics Theoretical computer science
172	On the possibility of faster SAT algorithms Mihai Pˇatra¸scu∗ AT&T Labs Florham Park, NJ Ryan Williams† Add to Reading List Source URL: www.stanford.edu Language: English - Date: 2009-11-12 23:47:30 NP-complete problems Logic in computer science Exponential time hypothesis 2-satisfiability Boolean satisfiability problem Conjunctive normal form Time complexity Parameterized complexity Dominating set Theoretical computer science Computational complexity theory Applied mathematics
173	A Generative Model for Parsing Natural Language to Meaning Representations Luke S. Zettlemoyer Wei Lu1 , Hwee Tou Ng1,2 , Wee Sun Lee1,2 1 CSAIL Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2008-11-26 20:13:47 Computational linguistics Speech recognition Cognitive science Semantics Analogy Modal logic N-gram Minimalist program Formal grammar Linguistics Science Logic
174	SEARCH, Computational Processes in Evolution, and Preliminary Development of the Gene Expression Messy Genetic Algorithm Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-10-10 16:17:59 Equivalence relation Binary relation Function Total order Selection algorithm Structure Algorithm Genetic algorithm Mathematics Mathematical logic Theoretical computer science
175	Exploiting symmetries in logistics distribution planning Add to Reading List Source URL: www.mssanz.org.au Language: English - Date: 2013-01-15 22:34:44 NP-complete problems Analysis of algorithms Algorithm Mathematical logic Travelling salesman problem Logistics Symmetry in mathematics Time complexity Vehicle routing problem Theoretical computer science Computational complexity theory Applied mathematics
176	A Plan for a Unified Program of Research in Artificial Intelligence at SRI Add to Reading List Source URL: www.ai.sri.com Language: English - Date: 2006-08-03 14:13:36 Ethology Computational neuroscience Artificial intelligence Cybernetics Logic programming Question answering Robot Intelligence Philosophy of artificial intelligence Science Knowledge Open problems
177	Ad-Hoc Aggregations of Ranked Lists in the Presence of Hierarchies Nilesh Bansal Sudipto Guha Add to Reading List Source URL: www.blogscope.net Language: English - Date: 2012-04-10 15:02:30 Algorithm Mathematical logic Hierarchy PP Randomized algorithm NP Information retrieval Theoretical computer science Computational complexity theory Applied mathematics
178	[44] M. Wooldridge. The Logical Modelling of Computational Multi-Agent Systems. PhD thesis, Department of Computation, UMIST, Manchester, OctoberAppeared as technical report MMU-DOCM. Wooldridge and M Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 1998-12-14 07:35:38 Kripke semantics Entailment Logic Philosophical logic Modal logic
179	Sampling Techniques for Probabilistic and Deterministic Graphical models Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2014-11-19 16:19:36 Probability and statistics Importance sampling Markov chain Monte Carlo Gibbs sampling Bayesian network Markov chain Variance reduction Probabilistic logic Sampling Statistics Monte Carlo methods Computational statistics
180	CCCG 2014, Halifax, Nova Scotia, August 11–13, 2014 Geometric Hitting Set and Set Cover Problems with Half-Strips Apurva Mudgal ∗, ‡ Add to Reading List Source URL: www.cccg.ca Language: English - Date: 2014-06-20 06:19:10 Mathematical logic Computational complexity theory Gadget Clause Variable Theoretical computer science Mathematics Logic programming

UPDATE